Upcoming Recent ANR ReciProg kick-off meeting. 6 mai, 2022 Indiscernibility and abstraction: classification and types. Colloque à Lyon 3. 21–22 novembre, 2019. LHChocoScalp. 16–18 octobre, 2019. Annual meeting of the ANR project REPAS. Workshop à l’ENS Lyon. 18 avril, 2019 arXiv Preuves de logique linéaire sur machine. Workshop à l’ENS Lyon. 18 décembre, 2018 Le … Continue reading Events